diff --git a/tools/.gitignore b/tools/.gitignore
index 3088f4d..9bce719 100644
--- a/tools/.gitignore
+++ b/tools/.gitignore
@@ -17,3 +17,4 @@
 /env/fw_printenv
 /gdb/gdbcont
 /gdb/gdbsend
+/kernel-doc/docproc